JI, Yiding - HKUST Class Schedule & Quota

Class Schedule & Quota
2024-25 Spring 2024-25 Fall 2023-24 Summer 2021-22 Winter
2024-25 Spring
Common Core Course
The class information on this page will normally be updated every 15 to 20 minutes during class enrollment period.
» Student Information System (SIS)» PG Program/Course Catalog
Notes & Links
This service was first adapted from a student contribution in 2011-12 Fall. The efforts of all concerned are duly acknowledged.

AIAA AMAT BSBE CMAA DSAA EOAS FTEC FUNH INFH INTR IOTA IPEN LANG MICS PDEV PLED ROAS SEEN SMMG SOCH SYSH UCMP UCUG UFUG UGOD

COURSE INFO

VECTOR	[3-0-0:3]
DESCRIPTION	Formal methods originate from theoretical computer science and have become a vibrant and interdisciplinary field. At its core, formal methods include formulating specifications to form proof obligations, verifying that the systems indeed meet their specifications via algorithmic proof search, and designing systems to meet those obligations. This course introduces fundamental theories and techniques of formal methods that apply broadly to various dynamical systems, such as robots, autonomous systems and cyber physical systems. Particularly, the following major topics will be covered: formal modeling of systems, formal properties such as regular and omega-regular properties, simulation and abstraction, linear temporal logic (LTL), automata based model checking and game theoretic formal control synthesis and real world engineering applications.

VECTOR

[3-0-0:3]

DESCRIPTION

Formal methods originate from theoretical computer science and have become a vibrant and interdisciplinary field. At its core, formal methods include formulating specifications to form proof obligations, verifying that the systems indeed meet their specifications via algorithmic proof search, and designing systems to meet those obligations. This course introduces fundamental theories and techniques of formal methods that apply broadly to various dynamical systems, such as robots, autonomous systems and cyber physical systems. Particularly, the following major topics will be covered: formal modeling of systems, formal properties such as regular and omega-regular properties, simulation and abstraction, linear temporal logic (LTL), automata based model checking and game theoretic formal control synthesis and real world engineering applications.

ROAS 6000L - Formal methods for dynamic systems (3 units)

Section	Date & Time	Room	Instructor	Quota	Enrol	Avail	Wait	Remarks
L01 (6533)	Mo 09:00AM - 11:50AM	Rm 201, W1	JI, Yiding	20	12	8	0